Supplemental data to paper "An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning"

These files are supplementary material to the paper An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning Alexander Steen accepted at the Eighth Workshop on Practical Aspects of Automated Reasoning (PAAR 2022), 2022. Files ex1.p, ex2.p and ex3.p correspond to Examples 1, 2, and 3 from the paper in section 5. The *.embed.p files are their embedded variants in classical HOL (THF). Alexander Steen,